- 可計算函數邏輯
- logic: n. 1.邏輯，理論學。 2.推理[方法]；邏輯性，條理 ...
- computable: adj. 能計算的，能算出的。
- function: n. 1.功能，官能，機能，作用。 2.〔常 pl.〕職 ...
- logic for computable function: 可計算函數邏輯
- fuzzy logic functions: 模糊邏輯函數
下載手機詞典可隨時隨地查詞查翻譯
logic of computable functions中文什么意思
- 可計算函數邏輯
下載手機詞典可隨時隨地查詞查翻譯
百科釋義
Logic of Computable Functions (LCF) is a deductive system for computable functions proposed by Dana Scott in 1969 in a memorandum unpublished until 1993.Dana S.
詳細百科解釋